Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
121	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:52 Deduction Geometric group theory Orbifold Curry–Howard correspondence Mathematics Function Proof theory
122	Type Theory and Constructive Mathematics Thierry Coquand Function, Proofs, Constructions, February 21, 2014 Type Theory and Constructive Mathematics Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-02-23 10:00:40 Mathematical logic Mathematical constructivism Constructivism Type theory Mathematical proof Function Constructive proof Constructive set theory Mathematics Epistemology Logic
123	Synthesis Modulo Recursive Functions Etienne Kneuss1 Viktor Kuncak1 Ivan Kuraj1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-08-16 08:18:41 Data types Lisp programming language Functional programming Recursion Computability theory ALGOL 68 Function Fold Algebraic data type Software engineering Computer programming Computing
124	Type Theory and Univalent Foundation Thierry Coquand (j.w.w. M. Bezem and S. Huber) Royal Society meeting, November 26, 2013 Type Theory and Univalent Foundation Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-11-27 15:43:03 Type theory Dependently typed programming Logic in computer science Proof theory Mathematical constructivism Function Intuitionistic type theory Axiom of choice Constructible universe Mathematical logic Mathematics Logic
125	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:49 Set theory Principia Mathematica Science Function Type theory Extensionality Zermelo–Fraenkel set theory Logicism Mathematics Mathematical logic Logic
126	AER Smart Phone APP To download the APP, go to APP store on your smart phone and type “Army Emergency Relief” into the search function. Then follow your normal download process. You can also use a QR Code reader APP Add to Reading List Source URL: www-test.aerhq.org - Date: 2015-02-26 11:00:29
127	Kinematic Analysis of a Space Mechanism—Rendezvous Simulator Add to Reading List Source URL: www.abhinavjournal.com Language: English - Date: 2013-12-17 06:28:32 Artificial intelligence Logic in computer science Non-classical logic Fuzzy control system Defuzzification Fuzzy set Expert system Membership function Type-2 fuzzy sets and systems Fuzzy logic Logic Mathematical logic
128	A Quantitative Method for Substantive Robustness Assessment Forthcoming in Political Science Research and Methods Justin Esarey∗ and Nathan Danneman† April 10, 2014 Add to Reading List Source URL: jee3.web.rice.edu Language: English - Date: 2014-04-10 17:15:59 Statistical inference Econometrics Estimation theory Statistical hypothesis testing Statistical power Type I and type II errors Bayes estimator Confidence interval Loss function Statistics Hypothesis testing Design of experiments
129	Electric Brass Ball Valve Type: J3-1100E/ 1110E/ 1120E Available with actuator function: POWER OPEN - POWER CLOSE Add to Reading List Source URL: jjautomation.co.uk Language: English - Date: 2015-02-27 06:36:47 Valve actuator Fluid power Hydraulics Valve Ball valve Thermostat Actuators Valves Fluid mechanics
130	PDF Document Add to Reading List Source URL: geofizika-journal.gfz.hr Language: English - Date: 2008-01-31 09:28:14 Fuzzy set Defuzzification Membership function Fuzzy number Atmospheric dispersion modeling Possibility theory Fuzzy control system Type-2 fuzzy sets and systems Fuzzy logic Logic Mathematical logic

UPDATE